Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets
نویسنده
چکیده
Durch Zeitrestriktionen in logistischen Prozesskettenmodellen wird die Spezifikation der Anforderungen an Dienstleistungen oder in Transportketten integrierte Informationssysteme vereinfacht. Der neue zeitliche Aspekt birgt bei Modellerstellung auch die Gefahr, unbemerkt strukturelle Fehler in das Modell zu bringen. Eine simulative Analyse garantiert nicht die Erkennung dieser Fehler. Es wird ein Ansatz basierend auf Interval Timed Coloured Petri Nets vorgestellt, der Modellierungsfehler in zeitbegrenzten logistischen Prozesskettenmodellen durch Modellvalidierung erkennen lässt.
منابع مشابه
Interval Timed Coloured Petri Nets and their Analysis
Practical experiences show that only timed and coloured Petri nets are capable of modelling large and complex real-time systems. This is the reason we present the Interval Timed Coloured Petri Net (ITCPN) model. An interval timed coloured Petri net is a coloured Petri net extended with time; time is in tokens and transitions determine a delay for each produced token. This delay is specified by ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملInterval Timed Coloured Petri
Practical experiences show that only timed and coloured Petri nets are capable of modelling large and complex real-time systems. This is the reason we present the Interval Timed Coloured Petri Net (ITCPN) model. An interval timed coloured Petri net is a coloured Petri net extended with time; time is in tokens and transitions determine a delay for each produced token. This delay is speciied by a...
متن کاملEquivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic
This paper discusses coloured Petri net models of so-called timed influence nets with logic. Previous work has developed a method to translate a timed influence net into a coloured Petri net. The work in this paper describes a new and more compact translation from timed influence nets with logic into coloured Petri nets. The translation has the property that the net structure of the coloured Pe...
متن کاملPerformance Evaluation Using Timed Coloured Petri Nets
Coloured Petri nets are Petri nets in which attributes are associated with individual tokens. These attributes are called “colours”. The set of colours is finite. Colors can be modified during transition firings, and the same transition can perform diffcrcn t transformations for tokens of different colours. Colours can thus distinguish tokens, and this allows to “fold” similar subnets of a net ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009